static analysis in java